Dines Bjørner (auth.): Z-library saytında axtarmaq

İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

Bilik və mədəniyyətə sərbəst giriş.

İanələr 15 sentyabr 2024 – 1 oktyabr 2024

Z-Library - 17,000,000-dan çox kitab və 84,837,000-dan çox məqalə ibarət olan dünyanın ən böyük onlayn kitabxanalarından biridir. Biz ədəbiyyatı hər kəs üçün əlçatan etməyə çalışırıq. Bu gün (15 sentyabr 2024) biz layihəyə dəstək və onun inkişafı üçün yeni əlavə ianə yığımı açırıq.

Həmçinin məbləğədək vəsaitin toplanması müddəti ərzində ianələr etmiş bütün istifadəçilər üçün LİMİTSİZ1 oktyabr 2024 yükləmələr də (ianə etdiyiniz gündən etibarən 31 gün ərzində) əlçatan olacaqdır.

Vəsaitlərin toplanılması haqqındaDaha ətraflı

Kitablar (27)
Ən məşhurları
Siyahı
- Siyahı
- Cədvəl

1

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Springer-Verlag Berlin Heidelberg

Prof. Dr. Dines Bjørner (auth.)

İl:

2006

Dil:

english

Fayl:

PDF, 23.68 MB

0 / 0

english, 2006

2

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

İl:

2007

Dil:

english

Fayl:

PDF, 4.29 MB

0 / 0

english, 2007

3

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

İl:

1996

Dil:

english

Fayl:

PDF, 6.23 MB

0 / 5.0

english, 1996

4

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

İl:

1996

Dil:

english

Fayl:

DJVU, 3.86 MB

0 / 0

english, 1996

5

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

İl:

1989

Dil:

english

Fayl:

PDF, 7.85 MB

0 / 0

english, 1989

6

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

İl:

2000

Dil:

english

Fayl:

PDF, 6.37 MB

0 / 0

english, 2000

7

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), P. Dembiński (eds.)

İl:

1980

Dil:

english

Fayl:

DJVU, 6.42 MB

0 / 0

english, 1980

8

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

İl:

1998

Dil:

english

Fayl:

PDF, 3.20 MB

0 / 0

english, 1998

9

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 3.23 MB

0 / 5.0

english, 2010

10

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

İl:

1978

Dil:

english

Fayl:

PDF, 14.97 MB

0 / 0

english, 1978

11

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 3.04 MB

0 / 0

english, 2010

12

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

İl:

1991

Dil:

english

Fayl:

DJVU, 4.05 MB

0 / 0

english, 1991

13

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

İl:

1993

Dil:

english

Fayl:

DJVU, 3.88 MB

0 / 0

english, 1993

14

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

İl:

1978

Dil:

english

Fayl:

DJVU, 1.81 MB

0 / 0

english, 1978

15

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

İl:

2001

Dil:

english

Fayl:

PDF, 5.59 MB

0 / 0

english, 2001

16

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

İl:

1987

Dil:

english

Fayl:

DJVU, 4.46 MB

0 / 0

english, 1987

17

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

İl:

1989

Dil:

english

Fayl:

DJVU, 4.18 MB

0 / 0

english, 1989

18

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

İl:

1980

Dil:

english

Fayl:

DJVU, 3.11 MB

0 / 0

english, 1980

19

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

İl:

1980

Dil:

english

Fayl:

PDF, 9.32 MB

0 / 0

english, 1980

20

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

İl:

1987

Dil:

english

Fayl:

PDF, 11.36 MB

0 / 0

english, 1987

21

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Kesav V. Nori (eds.)

İl:

1986

Dil:

english

Fayl:

DJVU, 4.73 MB

0 / 0

english, 1986

22

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

İl:

1978

Dil:

english

Fayl:

PDF, 14.98 MB

0 / 0

english, 1978

23

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

İl:

2001

Dil:

english

Fayl:

PDF, 7.07 MB

0 / 0

english, 2001

24

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

İl:

1991

Dil:

english

Fayl:

PDF, 8.87 MB

0 / 0

english, 1991

25

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

İl:

1993

Dil:

english

Fayl:

PDF, 6.56 MB

0 / 0

english, 1993

26

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

İl:

2007

Dil:

english

Fayl:

PDF, 6.33 MB

0 / 0

english, 2007

27

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

İl:

2000

Dil:

english

Fayl:

PDF, 7.84 MB

0 / 0

english, 2000